Cylindric Algebras and Algebras of Substitutions^)
نویسنده
چکیده
Several new formulations of the notion of cylindric algebra are presented. The class CA of all cylindric algebras of degree a is shown to be definitionally equivalent to a class of algebras in which only substitutions (together with the Boolean +, •, and — ) are taken to be primitive operations. Then CA is shown to be definitionally equivalent to an equational class of algebras in which only substitutions and their conjugates (together with +, •, and —) are taken to be primitive operations.
منابع مشابه
On Finite Axiomatizability of Expansions of Cylindric Algebras
We study expansions of (representable) cylindric algebras ( ) ω CA R that are reducts of polyadic equality algebras. The question we adress is: Can we add finitely many substitutions, so that in the expanded language of , ω CA there is a finite set of quantifier free formulas that force representability of the cylindric reduct of algebras satisfying them. A refinement of a known positive soluti...
متن کاملClasses of Representable Algebras with the Amalgamation Property
We introduce an abstract class of algebras that is a proper reduct of both Pinter’s substitution algebras and cylindric algebras. We show that the class of representable algebras have the amalgamation property. Pinter’s substitution algebras were introduced by Pinter [13], [14]. Such algebras are obtained from cylindric algebras by dropping the diagonal elements and adding unary operations of s...
متن کاملAtom canonicity, and omitting types in temporal and topological cylindric algebras
We study what we call topological cylindric algebras and tense cylindric algebras defined for every ordinal α. The former are cylindric algebras of dimension α expanded with S4 modalities indexed by α. The semantics of representable topological algebras is induced by the interior operation relative to a topology defined on their bases. Tense cylindric algebras are cylindric algebras expanded by...
متن کاملIndependence-friendly cylindric set algebras
Independence-friendly logic is a conservative extension of first-order logic that has the same expressive power as existential second-order logic. In her Ph.D. thesis, Dechesne introduces a variant of independence-friendly logic called IFG logic. We attempt to algebraize IFG logic in the same way that Boolean algebra is the algebra of propositional logic and cylindric algebra is the algebra of ...
متن کاملBare canonicity of representable cylindric and polyadic algebras
We show that for finite n ≥ 3, every first-order axiomatisation of the varieties of representable n-dimensional cylindric algebras, diagonal-free cylindric algebras, polyadic algebras, and polyadic equality algebras contains an infinite number of non-canonical formulas. We also show that the class of structures for each of these varieties is non-elementary. The proofs employ algebras derived fr...
متن کامل